Joyce - A Programming Language for Distributed Systems
نویسنده
چکیده
This paper describes a secure programming language called Joyce based on CSP and Pascal. Joyce permits unbounded (recursive) activation of communicating agents. The agents exchange messages through synchronous channels. A channel can transfer messages of different types between two or more agents. A compiler can check message types and ensure that agents use disjoint sets of variables only. The use of Joyce is illustrated by a variety of examples.
منابع مشابه
A Hierarchical Method for Reasoning about Distributed Programming Languages
This paper presents a technique for specifying and reasoning about the operational semantics of distributed programming languages. We formalize the concept of \vertical stacking" of distributed systems, an extension of Joyce's, Windley's and Curzon's stacking methodologies for sequential systems and of the CLI \short stack" which stacks interpreters for object code, assembly code, and a high-le...
متن کاملA Microcomputer-Based Simulator for Digital Control Systems
A microcomputer-based simulator for digital control systems is proposed. The proposed simulator is a hybrid system in which the plant is simulated by conventional method of analog computers and other parts of the system including generation of input signal is performed digitally, using a Z-80 based microcomputer. To overcome the difficulty of programming in assembly language, and at the same ti...
متن کاملA Multiprocessor Implementation of Joyce
Joyce is a programming language for parallel computers based on CSP and Pas-cal. A Joyce program defines concurrent agents which communicate through unbuffered channels. This paper describes a multiprocessor implementation of Joyce.
متن کاملAda 95 The Language for the 90’s and Beyond
New and existing software systems are being designed to satisfy the demands of increasingly complex requirements. A variety of tools and methodologies are being developed to address these elaborate conditions. The selection of a programming language may have a significant impact on the development of such systems. To be most effective in the successful implementation of complex software systems...
متن کاملOn the modernist elements of ‘Ithaca’ chapter in Joyce’s Ulys ses : Engaging students in class discussion
James Joyce's Ulysses is one of the hall-marks of modernism in the realm of the novel. In this novel, Joyce breaks away from old patterns, employs new techniques, and presents the modern state of man as well as his soul-lacking indeterminate communication with others. Freud's theories on the unique and private quality of man's mode of consciousness and the meddling of the past with ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Softw., Pract. Exper.
دوره 17 شماره
صفحات -
تاریخ انتشار 1987